منابع مشابه
Sperner theory pdf
In 1928 Emanuel Sperner presented a simple. Cohen, On the Sperner lemma, J. Theory 2 1967.Abstract. This paper presents elementary combinatorial proofs of Sperners. Advanced topics like degree theory or homology. Before beginning, it.ple combinatorial result known as Sperners lemma. As motivation, we examine a special case of Sperners lemma. Vick, Homology Theory.extremal two-part Sperner famil...
متن کاملA simple proof of Zariski's Lemma
Our aim in this very short note is to show that the proof of the following well-known fundamental lemma of Zariski follows from an argument similar to the proof of the fact that the rational field $mathbb{Q}$ is not a finitely generated $mathbb{Z}$-algebra.
متن کاملGeneralizations of Borel-Cantelli Lemma
The Borel-Cantelli Lemma is very important in the probability theory. In this paper, we first describe the general case of the Borel-Cantelli Lemma. The first part of this lemma, assuming convergence and the second part includes divergence and independence assumptions. In the following, we have brought generalizations of the first and second part of this lemma. In most generalizat...
متن کاملSperner's Lemma
In this article we introduce and prove properties of simplicial complexes in real linear spaces which are necessary to formulate Sperner's lemma. The lemma states that for a function f , which for an arbitrary vertex v of the barycentric subdivision B of simplex K assigns some vertex from a face of K which contains v, we can find a simplex S of B which satisfies f (S) = K (see [10]). The notati...
متن کاملBarendregt’s Lemma
Barendregt’s Lemma in its original form is a statement on Combinatory Logic that holds also for the lambda calculus and gives important insight into the syntactic interplay between substitution and reduction. Its origin lies in undefinablity proofs, but there are other applications as well. It is connected to the so-called Square Brackets Lemma, introduced by van Daalen in proofs of strong norm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2010
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-010-0022-x